
void* Run(void *wsk);
int jkmain();

